function greet(name: string): string {
    return "Hello, " + name;
}

document.getElementById("greet").innerText = greet("World");
